a1ecd592e626169ab12033042a337627a7e35769,basex-api/src/main/java/org/basex/http/rest/RESTDelete.java,RESTDelete,get,#RESTSession#,24

Before Change


    RESTCmd.parseOptions(rs);

    final HTTPContext http = rs.http;
    if(http.depth() == 0) throw HTTPCode.NO_PATH.get();

    // open database to ensure it exists
    rs.add(new Open(http.db()));
    if(http.depth() == 1) rs.add(new DropDB(http.db()));
    else rs.add(new Delete(http.dbpath()));

After Change


    RESTCmd.parseOptions(rs);

    final HTTPContext http = rs.http;
    final String db = http.db();
    if(db.isEmpty()) throw HTTPCode.NO_PATH.get();

    // open database to ensure it exists